2 research outputs found
Why Ada is not just another programming language
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textComputer system reliability and nuclear war
- Author
- Adams A.
- Alan Borning
- American Academy of Arts and Sciences. Weapons in space. Vol. I: Concepts and technologies.
- Anderson T.
- Angus I.E.
- Arkin W.M.
- Association for Computing Machinery. Proceedings of VERkshop III-A formal verification workshop.
- Ball Il.
- Berkeley EC.
- Boyer R.S.
- Bracken P.
- Broad W.J.
- Brooks
- Brown H.
- Carter W.C.
- Cockburn A.
- Cooper R.S.
- Druffel L.E.
- Fairley R.E.
- Ford D.
- Garwin R.
- George A.
- Goodman SE.
- Gumble B.
- Halloran R.
- Hayes-Roth F.
- Henderson P.
- House
- House
- House
- Hubbell J.C.
- international Institute for Strategic Studies.
- Kaplan F.
- Kling R.
- Martin R.
- Meyers G.J.
- Miller GE.
- MITRE Corp.
- Morgan P.M.
- Nelson G.
- Neumann PG.
- New York Times
- Nye J.S.
- Omstein S.
- Perrow C.
- Pringle P.
- Ricketts L.W.
- Scowcroft B.
- Seattle Post
- Siewiorek D.P.
- Sokolovskiy V.D.
- Steinbruner J.D.
- Stockholm International Peace Research Institute
- Stockholm International Peace Research Institute
- Tasky K.
- U.S. Department of Defense.
- U.S. Department of Defense.
- U.S. Department of Defense.
- U.S. Department of Defense. DOD-STD.2167
- U.S. Senate Committee on Armed Services. Hearings
- U.S. Senate Committee on Armed Services. Hearings
- Van Evera S.
- Waltz E.L.
- Washingfon Posf
- York Times
- Zraket CA.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
